IOTCM currentFile None Direct (Cmd_load currentFile ["+RTS", "--not-an-option", "-RTS", "--latex-dir=.", "--RTS", "--latex-dir=."])
